#!/usr/bin/env python2
## -*- coding: utf-8 -*-

import sys

def sx(bits, value):
    sign_bit = 1 << (bits - 1)
    return (value & (sign_bit - 1)) - (value & sign_bit)

SymVar_0 = int(sys.argv[1])
ref_263 = SymVar_0
ref_278 = ref_263 # MOV operation
ref_486950 = ref_278 # MOV operation
ref_547216 = ref_486950 # MOV operation
ref_547224 = (ref_547216 >> (0x5 & 0x3F)) # SHR operation
ref_547231 = ref_547224 # MOV operation
ref_577360 = ref_547231 # MOV operation
ref_577374 = (0x1376783EF7559EA & ref_577360) # AND operation
ref_607516 = ref_577374 # MOV operation
ref_607518 = ((ref_607516 >> 56) & 0xFF) # Byte reference - MOV operation
ref_607519 = ((ref_607516 >> 48) & 0xFF) # Byte reference - MOV operation
ref_607520 = ((ref_607516 >> 40) & 0xFF) # Byte reference - MOV operation
ref_607521 = ((ref_607516 >> 32) & 0xFF) # Byte reference - MOV operation
ref_607522 = ((ref_607516 >> 24) & 0xFF) # Byte reference - MOV operation
ref_607523 = ((ref_607516 >> 16) & 0xFF) # Byte reference - MOV operation
ref_607524 = ((ref_607516 >> 8) & 0xFF) # Byte reference - MOV operation
ref_607525 = (ref_607516 & 0xFF) # Byte reference - MOV operation
ref_1059666 = ref_278 # MOV operation
ref_1119932 = ref_1059666 # MOV operation
ref_1119938 = (0x1A5612E2 | ref_1119932) # OR operation
ref_1391274 = ref_607516 # MOV operation
ref_1421383 = ref_1391274 # MOV operation
ref_1421397 = (0x7063FB7 & ref_1421383) # AND operation
ref_1451539 = ref_1119938 # MOV operation
ref_1451543 = ref_1421397 # MOV operation
ref_1451545 = ((ref_1451543 + ref_1451539) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_1481688 = ref_1451545 # MOV operation
ref_1481690 = ((ref_1481688 >> 56) & 0xFF) # Byte reference - MOV operation
ref_1481691 = ((ref_1481688 >> 48) & 0xFF) # Byte reference - MOV operation
ref_1481692 = ((ref_1481688 >> 40) & 0xFF) # Byte reference - MOV operation
ref_1481693 = ((ref_1481688 >> 32) & 0xFF) # Byte reference - MOV operation
ref_1481694 = ((ref_1481688 >> 24) & 0xFF) # Byte reference - MOV operation
ref_1481695 = ((ref_1481688 >> 16) & 0xFF) # Byte reference - MOV operation
ref_1481696 = ((ref_1481688 >> 8) & 0xFF) # Byte reference - MOV operation
ref_1481697 = (ref_1481688 & 0xFF) # Byte reference - MOV operation
ref_1994221 = ref_1481688 # MOV operation
ref_2054487 = ref_1994221 # MOV operation
ref_2054495 = (ref_2054487 >> (0x3 & 0x3F)) # SHR operation
ref_2054502 = ref_2054495 # MOV operation
ref_2084631 = ref_2054502 # MOV operation
ref_2084645 = (0xF & ref_2084631) # AND operation
ref_2144936 = ref_2084645 # MOV operation
ref_2144942 = (0x1 | ref_2144936) # OR operation
ref_2205237 = ref_2144942 # MOV operation
ref_2205239 = ((0x3162E74F << ((ref_2205237 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_2506724 = ref_1481688 # MOV operation
ref_2566990 = ref_2506724 # MOV operation
ref_2566998 = (ref_2566990 >> (0x3 & 0x3F)) # SHR operation
ref_2567005 = ref_2566998 # MOV operation
ref_2597134 = ref_2567005 # MOV operation
ref_2597148 = (0xF & ref_2597134) # AND operation
ref_2657439 = ref_2597148 # MOV operation
ref_2657445 = (0x1 | ref_2657439) # OR operation
ref_2717740 = ref_2657445 # MOV operation
ref_2717742 = ((0x40 - ref_2717740) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_2717750 = ref_2717742 # MOV operation
ref_2747891 = ref_2717750 # MOV operation
ref_2747893 = (ref_2747891 & 0xFFFFFFFF) # MOV operation
ref_2747895 = (0x3162E74F >> ((ref_2747893 & 0xFF) & 0x3F)) # SHR operation
ref_2747902 = ref_2747895 # MOV operation
ref_2778039 = ref_2205239 # MOV operation
ref_2778043 = ref_2747902 # MOV operation
ref_2778045 = (ref_2778043 | ref_2778039) # OR operation
ref_2838336 = ref_2778045 # MOV operation
ref_2838344 = (ref_2838336 >> (0x4 & 0x3F)) # SHR operation
ref_2838351 = ref_2838344 # MOV operation
ref_2868480 = ref_2838351 # MOV operation
ref_2868494 = (0x7 & ref_2868480) # AND operation
ref_2928785 = ref_2868494 # MOV operation
ref_2928791 = (0x1 | ref_2928785) # OR operation
ref_3200042 = ref_278 # MOV operation
ref_3230151 = ref_3200042 # MOV operation
ref_3230165 = ((ref_3230151 - 0x2907943) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_3230173 = ref_3230165 # MOV operation
ref_3260302 = ref_3230173 # MOV operation
ref_3260314 = ref_2928791 # MOV operation
ref_3260316 = ((ref_3260302 << ((ref_3260314 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_3290458 = ref_3260316 # MOV operation
ref_3772757 = ref_278 # MOV operation
ref_3802866 = ref_3772757 # MOV operation
ref_3802880 = ((ref_3802866 - 0x3C563FC) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_3802888 = ref_3802880 # MOV operation
ref_3833025 = ref_3802888 # MOV operation
ref_4556542 = ref_3833025 # MOV operation
ref_4948421 = ref_1481688 # MOV operation
ref_4978530 = ref_4948421 # MOV operation
ref_4978544 = (0xF & ref_4978530) # AND operation
ref_5008678 = ref_4978544 # MOV operation
ref_5008692 = ((ref_5008678 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_5038834 = ref_4556542 # MOV operation
ref_5038838 = ref_5008692 # MOV operation
ref_5038840 = (ref_5038838 | ref_5038834) # OR operation
ref_5068982 = ref_5038840 # MOV operation
ref_5521217 = ref_3290458 # MOV operation
ref_5822677 = ref_5068982 # MOV operation
ref_5852786 = ref_5822677 # MOV operation
ref_5852800 = (0x1F & ref_5852786) # AND operation
ref_5882934 = ref_5852800 # MOV operation
ref_5882948 = ((ref_5882934 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_5913090 = ref_5521217 # MOV operation
ref_5913094 = ref_5882948 # MOV operation
ref_5913096 = (ref_5913094 | ref_5913090) # OR operation
ref_5943238 = ref_5913096 # MOV operation
ref_6395473 = ref_5068982 # MOV operation
ref_6787352 = ref_1481688 # MOV operation
ref_6817461 = ref_6787352 # MOV operation
ref_6817475 = (0xF & ref_6817461) # AND operation
ref_6847609 = ref_6817475 # MOV operation
ref_6847623 = ((ref_6847609 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_6877765 = ref_6395473 # MOV operation
ref_6877769 = ref_6847623 # MOV operation
ref_6877771 = (ref_6877769 | ref_6877765) # OR operation
ref_6907913 = ref_6877771 # MOV operation
ref_7721849 = ref_6907913 # MOV operation
ref_8113728 = ref_6907913 # MOV operation
ref_8143837 = ref_8113728 # MOV operation
ref_8143851 = (0xF & ref_8143837) # AND operation
ref_8173985 = ref_8143851 # MOV operation
ref_8173999 = ((ref_8173985 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_8204141 = ref_7721849 # MOV operation
ref_8204145 = ref_8173999 # MOV operation
ref_8204147 = (ref_8204145 | ref_8204141) # OR operation
ref_8234289 = ref_8204147 # MOV operation
ref_8686524 = ref_5943238 # MOV operation
ref_8987984 = ref_8234289 # MOV operation
ref_9018093 = ref_8987984 # MOV operation
ref_9018107 = (0x1F & ref_9018093) # AND operation
ref_9048241 = ref_9018107 # MOV operation
ref_9048255 = ((ref_9048241 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_9078397 = ref_8686524 # MOV operation
ref_9078401 = ref_9048255 # MOV operation
ref_9078403 = (ref_9078401 | ref_9078397) # OR operation
ref_9108545 = ref_9078403 # MOV operation
ref_9108547 = ((ref_9108545 >> 56) & 0xFF) # Byte reference - MOV operation
ref_9108548 = ((ref_9108545 >> 48) & 0xFF) # Byte reference - MOV operation
ref_9108549 = ((ref_9108545 >> 40) & 0xFF) # Byte reference - MOV operation
ref_9108550 = ((ref_9108545 >> 32) & 0xFF) # Byte reference - MOV operation
ref_9108551 = ((ref_9108545 >> 24) & 0xFF) # Byte reference - MOV operation
ref_9108552 = ((ref_9108545 >> 16) & 0xFF) # Byte reference - MOV operation
ref_9108553 = ((ref_9108545 >> 8) & 0xFF) # Byte reference - MOV operation
ref_9108554 = (ref_9108545 & 0xFF) # Byte reference - MOV operation
ref_9560780 = ref_8234289 # MOV operation
ref_9952659 = ref_8234289 # MOV operation
ref_9982768 = ref_9952659 # MOV operation
ref_9982782 = (0xF & ref_9982768) # AND operation
ref_10012916 = ref_9982782 # MOV operation
ref_10012930 = ((ref_10012916 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_10043072 = ref_9560780 # MOV operation
ref_10043076 = ref_10012930 # MOV operation
ref_10043078 = (ref_10043076 | ref_10043072) # OR operation
ref_10073220 = ref_10043078 # MOV operation
ref_12213525 = ref_10073220 # MOV operation
ref_12514985 = ref_9108545 # MOV operation
ref_12756147 = ref_9108545 # MOV operation
ref_12786264 = ref_12514985 # MOV operation
ref_12786268 = ref_12756147 # MOV operation
ref_12786270 = ((ref_12786268 + ref_12786264) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_12816405 = ref_12786270 # MOV operation
ref_12816419 = (0x7 & ref_12816405) # AND operation
ref_12846553 = ref_12816419 # MOV operation
ref_12846567 = ((ref_12846553 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_12876709 = ref_12213525 # MOV operation
ref_12876713 = ref_12846567 # MOV operation
ref_12876715 = (ref_12876713 | ref_12876709) # OR operation
ref_12906857 = ref_12876715 # MOV operation
ref_13328843 = ((((ref_9108547) << 8 | ref_9108548) << 8 | ref_9108549) << 8 | ref_9108550) # MOV operation
ref_13389117 = (ref_13328843 & 0xFFFFFFFF) # MOV operation
ref_13811099 = ((((ref_9108551) << 8 | ref_9108552) << 8 | ref_9108553) << 8 | ref_9108554) # MOV operation
ref_14233069 = (ref_13811099 & 0xFFFFFFFF) # MOV operation
ref_14233071 = (((ref_14233069 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_14233072 = (((ref_14233069 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_14233073 = (((ref_14233069 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_14233074 = ((ref_14233069 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_14293355 = (ref_13389117 & 0xFFFFFFFF) # MOV operation
ref_14715325 = (ref_14293355 & 0xFFFFFFFF) # MOV operation
ref_14715327 = (((ref_14715325 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_14715328 = (((ref_14715325 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_14715329 = (((ref_14715325 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_14715330 = ((ref_14715325 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_15167468 = ref_607520 # MOVZX operation
ref_15197577 = (ref_15167468 & 0xFF) # MOVZX operation
ref_16011412 = ref_607521 # MOVZX operation
ref_16041521 = (ref_16011412 & 0xFF) # MOVZX operation
ref_16041523 = (ref_16041521 & 0xFF) # Byte reference - MOV operation
ref_16493660 = (ref_15197577 & 0xFF) # MOVZX operation
ref_16523769 = (ref_16493660 & 0xFF) # MOVZX operation
ref_16523771 = (ref_16523769 & 0xFF) # Byte reference - MOV operation
ref_16975908 = ref_607519 # MOVZX operation
ref_17006017 = (ref_16975908 & 0xFF) # MOVZX operation
ref_17819852 = ref_607525 # MOVZX operation
ref_17849961 = (ref_17819852 & 0xFF) # MOVZX operation
ref_17849963 = (ref_17849961 & 0xFF) # Byte reference - MOV operation
ref_18302100 = (ref_17006017 & 0xFF) # MOVZX operation
ref_18332209 = (ref_18302100 & 0xFF) # MOVZX operation
ref_18332211 = (ref_18332209 & 0xFF) # Byte reference - MOV operation
ref_18754187 = ((((ref_1481694) << 8 | ref_1481695) << 8 | ref_1481696) << 8 | ref_1481697) # MOV operation
ref_18814461 = (ref_18754187 & 0xFFFFFFFF) # MOV operation
ref_19236443 = ((((ref_1481690) << 8 | ref_1481691) << 8 | ref_1481692) << 8 | ref_1481693) # MOV operation
ref_19658413 = (ref_19236443 & 0xFFFFFFFF) # MOV operation
ref_19658415 = (((ref_19658413 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_19658416 = (((ref_19658413 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_19658417 = (((ref_19658413 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_19658418 = ((ref_19658413 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_19718699 = (ref_18814461 & 0xFFFFFFFF) # MOV operation
ref_20140669 = (ref_19718699 & 0xFFFFFFFF) # MOV operation
ref_20140671 = (((ref_20140669 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_20140672 = (((ref_20140669 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_20140673 = (((ref_20140669 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_20140674 = ((ref_20140669 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_20954541 = ((((((((ref_20140671) << 8 | ref_20140672) << 8 | ref_20140673) << 8 | ref_20140674) << 8 | ref_19658415) << 8 | ref_19658416) << 8 | ref_19658417) << 8 | ref_19658418) # MOV operation
ref_21346420 = ((((((((ref_607518) << 8 | ref_17849963) << 8 | ref_16041523) << 8 | ref_16523771) << 8 | ref_607522) << 8 | ref_607523) << 8 | ref_607524) << 8 | ref_18332211) # MOV operation
ref_21376529 = ref_21346420 # MOV operation
ref_21376543 = (0x3F & ref_21376529) # AND operation
ref_21406677 = ref_21376543 # MOV operation
ref_21406691 = ((ref_21406677 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_21436833 = ref_20954541 # MOV operation
ref_21436837 = ref_21406691 # MOV operation
ref_21436839 = (ref_21436837 | ref_21436833) # OR operation
ref_21466981 = ref_21436839 # MOV operation
ref_22341144 = ((((((((ref_14233071) << 8 | ref_14233072) << 8 | ref_14233073) << 8 | ref_14233074) << 8 | ref_14715327) << 8 | ref_14715328) << 8 | ref_14715329) << 8 | ref_14715330) # MOV operation
ref_22642604 = ref_12906857 # MOV operation
ref_22913915 = ref_21466981 # MOV operation
ref_22974181 = ref_22913915 # MOV operation
ref_22974189 = (ref_22974181 >> (0x3 & 0x3F)) # SHR operation
ref_22974196 = ref_22974189 # MOV operation
ref_23004325 = ref_22974196 # MOV operation
ref_23004339 = (0xF & ref_23004325) # AND operation
ref_23064630 = ref_23004339 # MOV operation
ref_23064636 = (0x1 | ref_23064630) # OR operation
ref_23094778 = ref_22642604 # MOV operation
ref_23094782 = ref_23064636 # MOV operation
ref_23094784 = (ref_23094782 & 0xFFFFFFFF) # MOV operation
ref_23094786 = (ref_23094778 >> ((ref_23094784 & 0xFF) & 0x3F)) # SHR operation
ref_23094793 = ref_23094786 # MOV operation
ref_23366124 = ref_21466981 # MOV operation
ref_23426390 = ref_23366124 # MOV operation
ref_23426398 = (ref_23426390 >> (0x3 & 0x3F)) # SHR operation
ref_23426405 = ref_23426398 # MOV operation
ref_23456534 = ref_23426405 # MOV operation
ref_23456548 = (0xF & ref_23456534) # AND operation
ref_23516839 = ref_23456548 # MOV operation
ref_23516845 = (0x1 | ref_23516839) # OR operation
ref_23577140 = ref_23516845 # MOV operation
ref_23577142 = ((0x40 - ref_23577140) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_23577150 = ref_23577142 # MOV operation
ref_23818332 = ref_12906857 # MOV operation
ref_23848441 = ref_23818332 # MOV operation
ref_23848453 = ref_23577150 # MOV operation
ref_23848455 = ((ref_23848441 << ((ref_23848453 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_23878597 = ref_23094793 # MOV operation
ref_23878601 = ref_23848455 # MOV operation
ref_23878603 = (ref_23878601 | ref_23878597) # OR operation
ref_23908737 = ref_23878603 # MOV operation
ref_23908751 = (0xF & ref_23908737) # AND operation
ref_23938885 = ref_23908751 # MOV operation
ref_23938899 = ((ref_23938885 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_23969041 = ref_22341144 # MOV operation
ref_23969045 = ref_23938899 # MOV operation
ref_23969047 = (ref_23969045 | ref_23969041) # OR operation
ref_23999189 = ref_23969047 # MOV operation
ref_24481497 = ref_21466981 # MOV operation
ref_24541763 = ref_24481497 # MOV operation
ref_24541771 = (ref_24541763 >> (0x3 & 0x3F)) # SHR operation
ref_24541778 = ref_24541771 # MOV operation
ref_24571907 = ref_24541778 # MOV operation
ref_24571921 = (0x7 & ref_24571907) # AND operation
ref_24632212 = ref_24571921 # MOV operation
ref_24632218 = (0x1 | ref_24632212) # OR operation
ref_24873405 = ((((((((ref_607518) << 8 | ref_17849963) << 8 | ref_16041523) << 8 | ref_16523771) << 8 | ref_607522) << 8 | ref_607523) << 8 | ref_607524) << 8 | ref_18332211) # MOV operation
ref_24903514 = ref_24873405 # MOV operation
ref_24903526 = ref_24632218 # MOV operation
ref_24903528 = ((ref_24903514 << ((ref_24903526 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_25144715 = ref_23999189 # MOV operation
ref_25385877 = ref_12906857 # MOV operation
ref_25415994 = ref_25144715 # MOV operation
ref_25415998 = ref_25385877 # MOV operation
ref_25416000 = (ref_25415998 | ref_25415994) # OR operation
ref_25446142 = ref_24903528 # MOV operation
ref_25446146 = ref_25416000 # MOV operation
ref_25446148 = (ref_25446146 | ref_25446142) # OR operation
ref_25476290 = ref_25446148 # MOV operation
ref_25536567 = ref_25476290 # MOV operation
ref_25536569 = ref_25536567 # MOV operation

print ref_25536569 & 0xffffffffffffffff
